翻訳と辞書 Words near each other ・ nontrivial ・ noob ・ nor ・ norc compiler ・ norcroft ・ nord pl ・ nordunet ・ norm ・ normal distribution ・ normal form ・ normal order reduction ・ normalisation ・ normalised ・ normed space ・ northbridge ・ northwestnet ・ nos ・ not ・ not ready for prime time ・ not-a-number Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク normal order reduction ： FOLDOC normal order reduction Under this evaluation strategy an expression is evaluated by reducing the leftmost outermost redex first. This method will terminate for any expression for which termination is possible, whereas applicative order reduction may not. This method is equivalent to passing arguments unevaluated because arguments are initially to the right of functions applied to them. See also computational adequacy theorem. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.